#include <mailbox.h>
#include <string.h>
#include <sys/syscall.h>
mailbox_t mbox_open(char *name)
{
    return invoke_syscall(SYSCALL_MBOX_OPEN,name,IGNORE,IGNORE,IGNORE);
}

void mbox_close(mailbox_t mailbox)
{
    invoke_syscall(SYSCALL_MBOX_CLOSE,mailbox,IGNORE,IGNORE,IGNORE);
}

void mbox_send(mailbox_t mailbox, void *msg, int msg_length)
{
    invoke_syscall(SYSCALL_MBOX_SEND,mailbox,msg,msg_length,IGNORE);
}

void mbox_recv(mailbox_t mailbox, void *msg, int msg_length)
{
    invoke_syscall(SYSCALL_MBOX_RECV,mailbox,msg,msg_length,IGNORE);
}
